Peningkatan Kinerja Simpang Tiga Bersinyal (Studi Kasus Simpang Tiga Purin Kendal)
نویسندگان
چکیده
منابع مشابه
UPPAAL-Tiga: Time for Playing Games!
In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. The first prototype presented at that time has now matured to a fully integrated tool with dramatic improvements both in terms of performance and the availability of the extended input language of Uppaal-4.0. The new tool can output stra...
متن کاملUPPAAL - Tiga : Time for Playing Games ! ( Tool Paper )
In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. The first prototype presented at that time has now matured to a fully integrated tool with dramatic improvements both in terms of performance and the availability of the extended input language of Uppaal-4.0. The new tool can output stra...
متن کاملTiergesundheitsmanagement in der Schweineproduktion am Beispiel der Tiergesundheitsagentur eG (TiGA)
Ziel von überbetrieblichen Tiergesundheitsmanagementsystemen ist es in der Regel, in Tierbeständen auf Betriebs-, Kettenoder regionaler Ebene einen nachhaltig hohen Gesundheitsstatus zu erreichen. Die Tiergesundheitsagentur eG (TiGA) wurde im Jahr 2010 gegründet, um ein solches überbetriebliches Tiergesundheitsmanagementsystem zunächst für Ferkel aufzubauen. Sie schuf dazu einen deutschlandweit...
متن کاملAdaptive Scheduling of Data Paths using Uppaal Tiga
Scheduling concerns the allocation of resources to activities over time in order to achieve some goals. Scheduling problems occur in many different domains and a vast amount of research has been carried out in this area. However, in the research literature scheduling is usually seen as a function of known, perfect inputs: the set of jobs, their arrival times, the capacities of machines, the dur...
متن کاملGuided Controller Synthesis for Climate Controller Using Uppaal Tiga
We present a complete tool chain for automatic controller synthesis using Uppaal Tiga and Simulink. The tool chain is explored using an industrial case study for climate control in a pig stable. The problem is modeled as a game, and we useUppaal Tiga to automatically synthesize safe strategies that are transformed for input to Simulink, which is used to run simulations on the controller and gen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Jurnal Keselamatan Transportasi Jalan (Indonesian Journal of Road Safety)
سال: 2020
ISSN: 2721-7248,2338-4247
DOI: 10.46447/ktj.v7i2.289